Prolog相关论文
安全的网络需要可靠的访问控制服务作为保证，尤其是当网络规模比较大和用户较多的时候。在安全访问控制模型的研究方面，RBAC模型比传......
数据库技术是计算机技术体系中最重要的部分之一。数据库技术的发展，已经成为先进信息技术的重要组成部分，是现代计算机信息系统和计......
知识工程是研究知识信息处理的学科。本文将结合我们的研究成果,讨论知识表示、演绎数据库系统、专家系统的方法。
Knowledge eng......
电信增值业务是运营商新的经济增长点。随着电信运营商的增值业务提供方式由传统的PSTN向智能网(Intelligent Network)以及下一代......
讨论了最新人工智能开发环境Visual Prolog V4.0的特点,分析面向对象技术的基本概念和特征,论述基于Visual Prolog的面向对象知识......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
Prolog是人工智能语言的一个典型代表。本文简要阐述了人工智能语言及其特点,并通过实例介绍了Prolog语言及其基本结构。
Prolog ......
在人工智能领域中,A~*算法是实现有向图最佳优先搜索的一种启发式算法。本文介绍了A~*算法和对A~*算法的改进——B算法,并叙述了用......
在人工智能领域中,A~*算法是实现有向图最佳优先搜索的一种启发式算法。本文介绍了A~*算法和对A~*算法的改进——B算法,并叙述了用......
基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分......
将基于调用模式语义和正确调用模式语义的程序分析技术应用于Prolog程序的CPM测试。通过调用模式分析获得内部过程被调用和成功调......
将基于调用模式语义和正确调用模式语义的程序分析技术应用于Prolog程序的CPM测试。通过调用模式分析获得内部过程被调用和成功调......
为了有效地提高点焊工艺设计的效率，提出了将焊接专家系统应用于点焊工艺设计过程的思想。按照专家系统的构建步骤，开发了基于Visual......
通过引入prolog语言中的函子、谓词和对数据模型的分析,声明含有两个特征的person复合域,创建事实和推理规则,建立家庭知识系统。......
论述了用Turbo-Prolog语言构造环境专家系统的各环节，为进一步构建粮库智能监测专家系统打下了基础。......
购买服装对于人们来说是一件很平常的事情,该专家系统充当了服装店铺服务员的角色,根据顾客提供的基本信息,如颜色、价格和款式等,......
购买服装对于人们来说是一件很平常的事情,该专家系统充当了服装店铺服务员的角色,根据顾客提供的基本信息,如颜色、价格和款式等,......
针对目前构建专家系统开发环境的局限性造成开发周期长的问题，提出了利用传统语言调用逻辑程序设计语言的动态链接库构建专家系统的......
Visual Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言，适合表达人的思维和推理规则，能够方便地实现模式匹配、回溯......
文章以Java平台与人工智能语言Prolog相结合为探讨的基线，并分析了智能教学评价系统的工作原理，在此基础上用Java平台实现用户界面和......
回溯机制是逻辑程序设计的重要设施.回溯本身是一种获得目标所有可能解的良好方法.然而回溯也有副作用,一是它可能导致Visual Prol......
作为一种通用的语义近似理论，抽象解释已广泛应用于各类程序的形式化验证中。现有基于抽象解释的逻辑程序验证技术未涉及与程序点相......
作为一种通用的语义近似理论，抽象解释已广泛应用于各类程序的形式化验证中。现有基于抽象解释的逻辑程序验证技术未涉及与程序点相......
决策树算法是数据挖掘领域的重要算法之一.文章首先对决策树算法的数据进行逻辑描述,然后使用保险公司客户数据来构建决策树,利用P......
决策树算法是数据挖掘领域的重要算法之一.文章首先对决策树算法的数据进行逻辑描述,然后使用保险公司客户数据来构建决策树,利用P......
回溯机制是逻辑程序设计的重要设施.回溯本身是一种获得目标所有可能解的良好方法.在考察Visual Prolog回溯机制作用原理的基础上,......
对FOIL算法进行了深入剖析,提出了一种基于该算法利用Visual Prolog实现一阶规则集学习器的设计方法,给出了实现学习器的关键代码......
针对Visual Prolog中的接口这一特殊作用域,在考察其限定机制基本问题的基础上,详细分析它所特有的支持限定和开放限定等机制的功......
介绍了贝叶斯判定理论，提出了基于WEB的贝叶斯专家系统模型及实现的总体设计思想。结合变压器特征气体法故障诊断等测试实例，探讨了......
对Visual Prolog的DDE机制进行了研究。首先介绍了动态数据交换技术及其工作原理，简明概括了Visual Prolog的功能、特点以及在专家......
摘 要：人工智能早在17世纪时，巴斯卡和莱布尼茨就有了思想的萌芽.到了1956年，号称“人工智能之父”的McCarthy以及一大批对此感兴趣的......
回溯机制是visual Prolog程序运行的重要机制，是获取所有可能解的一种方法．但在实际问题的解决过程中，有时却不需要回溯．visual Prolog......
BAN类逻辑广泛应用于安全协议分析,具有简洁性和易用性。使用Prolog人工智能语言设计开发了基于BAN类逻辑协议的自动化分析工具,实......
《高中情息技术课程标准》的《人工智能初步》选修模块中，要求学生通过学习“了解一种人工智能语言的基本数据结构和程序结构，掌握相......
一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础，利用Prolog在计算机上可实现机械化，从而使自动化求解问题和定理证明......
一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础，利用Prolog在计算机上可实现机械化，从而使自动化求解问题和定理证明......
主要讨论了模糊综合评价的原理，同时详细分析了模糊综合评价在学生评价中的应用模式，最后给出了基于PROLOG实现模糊评价的程序。......
结合电喷发动机的维修特点，用Visual Prolog在可视化编程环境下进行了故障检测和维修系统的界面设计和程序源代码的编写。系统模拟......
结合电喷发动机的维修特点，用Visual Prolog在可视化编程环境下进行了故障检测和维修系统的界面设计和程序源代码的编写。系统模拟......
Prolog是一种人工智能语言，它在AI和知识库的实现技术中具有十分重要的作用。本文介绍了Prolog的工作原理．并通过实例分析了Prolog语......
针对塑件注射成型多缺陷成因求解的模糊性与不确定性,考虑到神经网络在获取多维特征向量与对应输出向量之间非线性映射关系方面的......
针对ASP.NET网站开发中可能遇到的逻辑推理问题,提出并实现了用Prolog语言与ASP.NET混合编程方法开发专家系统框架的方案,为开发基......
本文讨论了Prolog语言的主要特点和基本结构,针对实际应用中出现的过程性问题给出了用Prolog谓词和内部运行机制来表示结构化程序......
本文讨论了Prolog语言的主要特点和基本结构,针对实际应用中出现的过程性问题给出了用Prolog谓词和内部运行机制来表示结构化程序......
以解决全自动打孔装订机的故障诊断为目标，分析了引发全自动打孔装订机常见故障的可能原因及解决办法。根据专家系统设计的一般原则......
在实际的网络应用中,相比客户端的形式,人们更希望能提供服务设施和应用程序的平台来自简单方便的网络浏览器。基于多阶段可用性的......
在实际的网络应用中,相比客户端的形式,人们更希望能提供服务设施和应用程序的平台来自简单方便的网络浏览器。基于多阶段可用性的......
